The Bit Shift Paradox: How "Optimizing" Can Make Code 6× Slower
hackernoon.com·2d
🧮Compute Optimization
Let's Write a Macro in Rust
hackeryarn.com·3h·
Discuss: Hacker News
🦀Rust Macros
Multi-Core By Default
rfleury.com·17h·
Discuss: Lobsters, Hacker News
🔩Systems Programming
Codeminer42 Dev Weekly #82
blog.codeminer42.com·1h
🎯Gradual Typing
Construction of new 1130 MRAM memory board completed
rescue1130.blogspot.com·37m·
Discuss: rescue1130.blogspot.com
🛠️Greaseweazle
An enough week
blog.mitrichev.ch·23h·
Discuss: blog.mitrichev.ch
📈Linear programming
Modern C and initializing an array
subethasoftware.com·1d
🗂Data structures
Slip – A Lisp System in JavaScript
lisperator.net·5h·
Discuss: Hacker News
🔗Lisp
BYOVD to the next level (part 2) — rootkit like it's 2025
blog.quarkslab.com·1d
🔍eBPF
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·1d
🔨Compilers
Show HN: Sweep, AI autocomplete for JetBrains that rewrites code
sweep.dev·3d·
Discuss: Hacker News
🌳Incremental Parsing
Experimenting with ACL2 and Claude Code
mikedodds.org·6h·
Discuss: Hacker News
👑Isabelle
Three ways formally verified code can go wrong in practice
buttondown.com·1h
📜Proof Carrying Code
Keyboard Holders, Generation 1
cceckman.com·1d·
Discuss: Hacker News
⌨️Mechanical Keyboards
Replacing the Type Checker for the Swift Compiler
forums.swift.org·1d·
Discuss: Hacker News
💧Liquid Types
XProc 3 Steps as XSpec Test Helper Functions
medium.com·2h
🔀XSLT
Hacktoberfest Week 1
dev.to·18h·
Discuss: DEV
🔗Static Linking
AI can help your DevSecOps pipeline
spiceworks.com·6h·
Discuss: Hacker News
🏠Homelab Pentesting
GHC Developer Blog: GHC 9.14.1-alpha3 is now available
haskell.org·1d
🔗Functional Compilers
Patina project – a Rust implementation of UEFI firmware
github.com·12h·
Discuss: Hacker News
🦀Embedded Rust